Berard, Beatrice: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Probabilistic opacity for Markov decision processes

Bérard, Béatrice, Chatterjee, Krishnendu, Sznajder, Nathalie

Journal:

Information Processing Letters

Year:

2015

Language:

english

File:

PDF, 372 KB

english, 2015

2

[IEEE 2010 17th International Symposium on Temporal Representation and Reasoning (TIME) - Paris, France (2010.09.6-2010.09.8)] 2010 17th International Symposium on Temporal Representation and Reasoning - Real Time Properties for Interrupt Timed Automata

Berard, Beatrice, Haddad, Serge, Sassolas, Mathieu

Year:

2010

Language:

english

File:

PDF, 239 KB

english, 2010

3

Quantifying opacity

BÉRARD, BÉATRICE, MULLINS, JOHN, SASSOLAS, MATHIEU

Journal:

Mathematical Structures in Computer Science

Year:

2015

Language:

english

File:

PDF, 1.17 MB

english, 2015

4

Opacity for linear constraint Markov chains

Bérard, Béatrice, Kouchnarenko, Olga, Mullins, John, Sassolas, Mathieu

Journal:

Discrete Event Dynamic Systems

Year:

2018

Language:

english

File:

PDF, 1.57 MB

english, 2018

5

Mise en œuvre d’un programme d’activité physique adaptée chez les adolescents et jeunes adultes atteints de cancer pour prendre soin de soi : PREVAPAJA

Lion, Axel, Marec-Bérard, Perrine, Boyle, Helen, Fervers, Béatrice, Bertrand, Amandine, Febvey-Combes, Olivia, Carretier, Julien

Journal:

Science & Sports

Year:

2018

Language:

french

File:

PDF, 312 KB

french, 2018

6

Untiming timed languages

Béatrice Berard

Journal:

Information Processing Letters

Year:

1995

Language:

english

File:

PDF, 631 KB

english, 1995

7

Literal shuffle

Béatrice Berard

Journal:

Theoretical Computer Science

Year:

1987

Language:

english

File:

PDF, 2.04 MB

english, 1987

8

Global serializability of concurrent programs

Béatrice Bérard

Journal:

Theoretical Computer Science

Year:

1994

Language:

english

File:

PDF, 1.79 MB

english, 1994

9

Timed automata and additive clock constraints

Béatrice Bérard, Catherine Dufourd

Journal:

Information Processing Letters

Year:

2000

Language:

english

File:

PDF, 126 KB

english, 2000

10

Trends in treatment-related deaths (TRDs) in childhood cancer and leukemia over time: A follow-up of patients included in the childhood cancer registry of the Rhône-Alpes region in France (ARCERRA)

Fernand Freycon, Béatrice Trombert-Paviot, Léonie Casagranda, Yves Bertrand, Dominique Plantaz, Perrine Marec-Bérard

Journal:

Pediatric Blood & Cancer

Year:

2008

Language:

english

File:

PDF, 103 KB

english, 2008

11

Accepting Zeno words: a way toward timed refinements

Béatrice Bérard, Claudine Picaronny

Journal:

Acta Informatica

Year:

2000

Language:

english

File:

PDF, 388 KB

english, 2000

12

Timed substitutions for regular signal-event languages

Béatrice Bérard, Paul Gastin, Antoine Petit

Journal:

Formal Methods in System Design

Year:

2007

Language:

english

File:

PDF, 960 KB

english, 2007

13

Interrupt Timed Automata: verification and expressiveness

Béatrice Bérard, Serge Haddad, Mathieu Sassolas

Journal:

Formal Methods in System Design

Year:

2012

Language:

english

File:

PDF, 1.67 MB

english, 2012

14

A Compared Study of Two Correctness Proofs for the Standardized Algorithm of ABR Conformance

Béatrice Bérard, Laurent Fribourg, Francis Klay, Jean-François Monin

Journal:

Formal Methods in System Design

Year:

2003

Language:

english

File:

PDF, 202 KB

english, 2003

15

[IEEE 2010 Seventh International Conference on the Quantitative Evaluation of Systems (QEST) - Williamsburg, VA, USA (2010.09.15-2010.09.18)] 2010 Seventh International Conference on the Quantitative Evaluation of Systems - Quantifying Opacity

Berard, Beatrice, Mullins, John, Sassolas, Mathieu

Year:

2010

Language:

english

File:

PDF, 489 KB

english, 2010

16

[IEEE 2008 9th International Workshop on Discrete Event Systems - Goteborg, Sweden (2008.05.28-2008.05.30)] 2008 9th International Workshop on Discrete Event Systems - Collision avoidance in Intelligent Transport Systems: towards an application of control theory

Berard, Beatrice, Haddad, Serge, Messan Hillah, Lom, Kordon, Fabrice, Thierry-Mieg, Yann

Year:

2008

Language:

english

File:

PDF, 195 KB

english, 2008

17

CHANNEL SYNTHESIS FOR FINITE TRANSDUCERS

BENATTAR, GILLES, BÉRARD, BÉATRICE, LIME, DIDIER, MULLINS, JOHN, ROUX, OLIVIER H., SASSOLAS, MATHIEU

Journal:

International Journal of Foundations of Computer Science

Year:

2012

Language:

english

File:

PDF, 298 KB

english, 2012

18

Facteurs comportementaux et professionnels et prévention des seconds cancers primitifs après un cancer dans l’enfance ou dans l’adolescence : état des connaissances

Duval, Sarah, Carretier, Julien, Boyle, Helen, Philip, Thierry, Berger, Claire, Marec-Bérard, Perrine, Fervers, Béatrice

Journal:

Bulletin du Cancer

Year:

2015

File:

PDF, 968 KB

2015

19

[ACM Press the 15th Workshop - Montpellier, France (2013.07.01-2013.07.01)] Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs - FTfJP '13 - Semi-automatic controller design of Java-like models

Zhang, Yan, Bérard, Béatrice, Hillah, Lom Messan, Thierry-Mieg, Yann

Year:

2013

Language:

english

File:

PDF, 264 KB

english, 2013

20

Analysing the PGM protocol with U PPAAL

Bérard *, Béatrice, Bouyer †, Patricia, Petit, Antoine

Journal:

International Journal of Production Research

Year:

2004

Language:

english

File:

PDF, 490 KB

english, 2004

21

A Review of Health Behaviors in Childhood and Adolescent Cancer Survivors: Toward Prevention of Second Primary Cancer

Carretier, Julien, Boyle, Helen, Duval, Sarah, Philip, Thierry, Laurence, Valérie, Stark, Dan P., Berger, Claire, Marec-Bérard, Perrine, Fervers, Béatrice

Journal:

Journal of Adolescent and Young Adult Oncology

Year:

2015

Language:

english

File:

PDF, 288 KB

english, 2015

22

[IEEE 2015 15th International Conference on Application of Concurrency to System Design (ACSD) - Brussels, Belgium (2015.6.21-2015.6.26)] 2015 15th International Conference on Application of Concurrency to System Design - Non-interference in Partial Order Models

Berard, Beatrice, Helouet, Loic, Mullins, John

Year:

2015

Language:

english

File:

PDF, 401 KB

english, 2015

23

Can postoperative radiotherapy be omitted in localised standard-risk Ewing sarcoma? An observational study of the Euro-E.W.I.N.G group

Foulon, Stéphanie, Brennan, Bernadette, Gaspar, Nathalie, Dirksen, Uta, Jeys, Lee, Cassoni, Anna, Claude, Line, Seddon, Beatrice, Marec-Berard, Perrine, Whelan, Jeremy, Paulussen, Michael, Streitbuerg

Journal:

European Journal of Cancer

Year:

2016

Language:

english

File:

PDF, 620 KB

english, 2016

24

Formal verification of mobile robot protocols

Bérard, Béatrice, Lafourcade, Pascal, Millet, Laure, Potop-Butucaru, Maria, Thierry-Mieg, Yann, Tixeuil, Sébastien

Journal:

Distributed Computing

Year:

2016

Language:

english

File:

PDF, 1.79 MB

english, 2016

25

[IEEE 2016 13th International Workshop on Discrete Event Systems (WODES) - Xi'an, China (2016.5.30-2016.6.1)] 2016 13th International Workshop on Discrete Event Systems (WODES) - Preserving opacity on Interval Markov Chains under simulation

Berard, Beatrice, Kouchnarenko, Olga, Mullins, John, Sassolas, Mathieu

Year:

2016

Language:

english

File:

PDF, 318 KB

english, 2016

26

Controllability for discrete event systems modelled in VeriJ

Zhang, Yan, Bérard, Béatrice, Hillah, Lom Messan, Kordon, Fabrice, Mieg, Yann Thierry

Journal:

International Journal of Critical Computer-Based Systems

Year:

2014

Language:

english

File:

PDF, 627 KB

english, 2014

27

Colorectal cancer specific conditions promote Streptococcus gallolyticus gut colonization

Aymeric, Laetitia, Donnadieu, Françoise, Mulet, Céline, du Merle, Laurence, Nigro, Giulia, Saffarian, Azadeh, Bérard, Marion, Poyart, Claire, Robine, Sylvie, Regnault, Béatrice, Trieu-Cuot, Patrick, S

Journal:

Proceedings of the National Academy of Sciences

Year:

2017

Language:

english

File:

PDF, 1.31 MB

english, 2017

28

The Complexity of Diagnosability and Opacity Verification for Petri Nets

Bérard, Béatrice, Haar, Stefan, Schmitz, Sylvain, Schwoon, Stefan, van der Aalst, Wil, Best, Eike, Penczek, Wojciech

Journal:

Fundamenta Informaticae

Year:

2018

Language:

english

File:

PDF, 435 KB

english, 2018

29

Interrupt Timed Automata with Auxiliary Clocks and Parameters*

Bérard, Beatrice, Haddad, Serge, Jovanović, Aleksandra, Lime, Didier, Abdulla, Parosh Aziz, Demri, Stéphane, Finkel, Alain, Leroux, Jérôme, Potapov, Igor

Journal:

Fundamenta Informaticae

Year:

2016

Language:

english

File:

PDF, 236 KB

english, 2016

30

Killer immunoglobulin‐like receptor genotypes and chronic myeloid leukemia outcomes after imatinib cessation for treatment‐free remission

Dumas, Pierre‐Yves, Bérard, Emilie, Bréal, Claire, Dulucq, Stéphanie, Réa, Delphine, Nicolini, Franck, Forcade, Edouard, Dufossée, Melody, Pasquet, Jean‐Max, Turcq, Béatrice, Bidet, Audrey, Milpied, N

Journal:

Cancer Medicine

Year:

2019

Language:

english

File:

PDF, 403 KB

english, 2019